Merge pull request #7743 from nextcloud/improve-doc-generation-feedback
authorMatthieu Gallien <matthieu.gallien@nextcloud.com>
Fri, 10 Jan 2025 17:17:10 +0000 (18:17 +0100)
committerGitHub <noreply@github.com>
Fri, 10 Jan 2025 17:17:10 +0000 (18:17 +0100)
improve feedback from documentation generation workflow


Trivial merge